国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻 >Testing finite state machines presenting stochastic time and timeouts
【2h】

Testing finite state machines presenting stochastic time and timeouts

機譯：測試呈現(xiàn)隨機時間和超時的有限狀態(tài)機

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻不完整或與標題不符等情況，如果獲取不到我們將提供退款服務(wù)。請知悉。
  • 摘要
  • 著錄項
  • 相似文獻
  • 相關(guān)主題

摘要

In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test suites from specifications such that the constructed test suites are sound and complete with respect to two of the conformance relations introduced in [10]. In fact, the current paper together with [10] constitute a complete formal theory to specify and test the class of systems covered by the before mentioned stochastic finite state machines.
機譯：在本文中，我們定義了一個正式的框架來測試可以由[10]中介紹的有限狀態(tài)機類表示的實現(xiàn)。首先，我們介紹一種適當(dāng)?shù)臏y試概念。接下來，我們提供一種從規(guī)范中導(dǎo)出測試套件的算法，以使構(gòu)建的測試套件相對于[10]中引入的兩個一致性關(guān)系而言，是健全且完整的。實際上，當(dāng)前的論文與[10]一起構(gòu)成了一個完整的形式理論，以指定和測試上述隨機有限狀態(tài)機所涵蓋的系統(tǒng)類別。

著錄項

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號